瞄准线稳定精度的影响因素仿真

瞄准线稳定精度是直升机载稳瞄系统的关键技术指标之一,它影响着系统的其他关键性指标如照射精度、跟踪精度、作用距离等。因此提高瞄准线稳定精度是设计和研制机载稳瞄系统至关重要的一项任务。论文分析和研究了影响瞄准线稳定精度的因素,并采用Simulink建立数学模型,对瞄准线稳定精度的影响因素进行仿真分析,得到各因素对稳定精度的影响趋势,为机载稳瞄系统的设计工作提供了理论基础。     

基于截尾正态分布的最大值指标精度换算方法

提出了基于截尾正态分布的最大值指标精度换算方法,为最大值指标与常用精度指标间的精度换算,以及真值测量系统精度指标的确定提供了参考依据。该方法假设系统输出序列中各观测点的合格概率服从对数截尾正态分布;根据给定最大值指标的置信水平及序列样本量,证明并推导了截尾正态分布之截尾上限、截尾下限、均值及标准偏差的计算公式,导出了最大值精度指标与 等常用精度指标间的换算关系,最后结合精密仪器有关理论给出了最大值指标下真值测量系统精度指标的确定方法。实例应用的实验结果表明,该方法是可行的。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

分布式软件平台StarBus中接口池的研究与实现

按照ＣＯＲＢＡ标准，阐述了接口池在ＳｔａｒＢｕｓ系统中的作用，介绍了ＳｔａｒＢｕｓ系统中接口池的设计，说明了接口池的内容与结构，实现了ＳｔａｒＢｕｓ系统中的接口池服务，为在ＳｔａｒＢｕｓ系统中实现动态激活提供了保证。     

二维非线性正交各向异性材料的瞬态热传导反问题数值方法

针对正交各向异性材料的二维非线性热传导反问题,采用顺序函数法进行表面热流辨识问题的研究。在求解反问题时,采用有限体积法、牛顿-拉夫逊法并引入未来时间步的概念。在每个时间步内,将待辨识热流视为非线性方程组的未知量,通过一个迭代过程进行求解。算例的研究表明,热流辨识结果与真实热流相近,从而证明了本方法在辨识二维非线性热传导反问题时是准确、稳定、有效的。     

军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

Specification vagueness and supply quality risk

Specifying quality requirement is integral to any sourcing relationship, but vague and ambiguous specifications can often be observed in practice, especially when a buyer is in the initial stage of sourcing a new product. In this research, we study a supplier's production incentives under vague or exact quality specifications. We prove that a vague specification may in fact motivate the supplier to increase its quantity provision, resulting in a higher delivery quality. Vague quality specification can therefore be advantageous for a buyer to screen potential suppliers with an initial test order, and then rely on the received quality level to set more concrete quality guidelines. There is a degree, though, to which vague quality specification can be effective, as too much vagueness may decrease the supplier's quantity provision and hence the expected delivery quality. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

幼儿角色游戏中教师指导身份研究

在幼儿园角色游戏活动的指导中,教师主要表现出三种身份:一为教育者身份,二为教育者与游戏者揉合的身份,三为游戏者身份。教师在观念上认可并向往游戏者身份,在行为上却彰显教育者身份而忽视游戏者身份。为了使教师在角色游戏中更好实现游戏者身份的指导,需要确立游戏者身份规范。     

最大值指标截尾正态分布精度换算方法

提出了面向最大值指标的截尾正态分布精度换算方法,为最大值指标与常用精度指标间的精度换算以及真值测量系统精度指标的确定提供了参考依据。该方法假设系统输出序列中各观测点的合格概率服从对数截尾正态分布;根据给定最大值指标的置信水平及序列样本量,证明并推导了截尾正态分布之截尾上限、截尾下限、均值及标准偏差的计算公式,导出了最大值精度指标与1σ等常用精度指标间的换算关系;结合精密仪器有关理论给出了最大值指标下真值测量系统精度指标的确定方法。实例应用的实验结果表明,该方法是可行的。